Complex Integral
نویسندگان
چکیده
منابع مشابه
Complex Integral
In this paper t denotes an element of R. The function R2 → C from R× R into C is defined as follows: (Def. 1) For every element p of R × R and for all elements a, b of R such that a = p1 and b = p2 holds (R2 → C)(〈a, b〉) = a+ b · i. Let a, b be real numbers, let x, y be partial functions from R to R, let Z be a subset of R, and let f be a partial function from C to C. The functor ∫ (f, x, y, a,...
متن کاملComplex Integral 1
In this paper t is an element of R. The function R2 → C from R× R into C is defined as follows: (Def. 1) For every element p of R × R and for all elements a, b of R such that a = p1 and b = p2 holds (R2 → C)(〈a, b〉) = a+ b · i. Let a, b be real numbers, let x, y be partial functions from R to R, let Z be a subset of R, and let f be a partial function from C to C. The functor ∫ (f, x, y, a, b, Z...
متن کاملComplex and Integral Laminated Lattices
In an earlier paper we studied real laminated lattices (or Z-modules) A„, where A, is the lattice of even integers, and A„ is obtained by stacking layers of a suitable (n — l)-dimensional lattice A„_, as densely as possible, keeping the same minimal norm. The present paper considers two generalizations: (a) complex and quaternionic lattices, obtained by replacing Z-module by /-module, where J m...
متن کاملComplex Monopoles in the Path Integral *
Complex monopole configurations dominate in the path integral in the Georgi-Glashow-Chern-Simons model and disorder the Higgs vacuum. No cancellation is expected among Gribov copies of the monopole configurations. The Georgi-Glashow model is a SO(3) gauge theory with a triplet Higgs scalar field h in which the gauge symmetry is spontaneously broken to U (1) by the Higgs mechanism. The vacuum is...
متن کاملIntegral of Complex-Valued Measurable Function
In this article, we formalized the notion of the integral of a complex-valued function considered as a sum of its real and imaginary parts. Then we defined the measurability and integrability in this context, and proved the linearity and several other basic properties of complex-valued measurable functions. The set of properties showed in this paper is based on [15], where the case of real-valu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2009
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-009-0029-3